'Druipsteen': term, soms gebruikt voor ^Hangende sluitsteen (in) gewelf